Characterizations of locally testable linear- and affine-invariant families
نویسندگان
چکیده
منابع مشابه
Limits on the Rate of Locally Testable Affine-Invariant Codes
Despite its many applications, to program checking, probabilistically checkable proofs, locally testable and locally decodable codes, and cryptography, “algebraic property testing” is not well-understood. A significant obstacle to a better understanding, was a lack of a concrete definition that abstracted known testable algebraic properties and reflected their testability. This obstacle was rem...
متن کاملCharacterizations of Locally Testable Events
Let 2 be a finite alphabet, Z* the free monoid generated by ~ and Ixl the length of x E Z*. For any integer k >_ O, fk(x) (tk(X)) is x if Ixl < k+ 1, and it is the prefix (suffix) o f x of length k, otherwise. Also let mk+l(X) = {olx = uuw and Ivl = k+ l} . For x , y ~ Z* define x ~ k+ lY i f f fk(x) = fk(Y), tk(X) = tkO:) and ink+ 1 (x) = mk+ 1 fY)" The relation ~ k + l is a congruence o f fin...
متن کاملOn Sums of Locally Testable Affine Invariant Properties
Affine-invariant properties are an abstract class of properties that generalize some central algebraic ones, such as linearity and low-degree-ness, that have been studied extensively in the context of property testing. Affine invariant properties consider functions mapping a big field Fqn to the subfield Fq and include all properties that form an Fq-vector space and are invariant under affine t...
متن کاملSome closure features of locally testable affine-invariant properties
We prove that the class of locally testable affine-invariant properties is closed under sums, intersections and “lifts”. The sum and intersection are two natural operations on linear spaces of functions, where the sum of two properties is simply their sum as a vector space. The “lift” is a less natural property that has been studied before. Previously such results were known for “single-orbit c...
متن کاملSome closure features of locally testable affine - invariant properties ARCHMEs by Alan
We prove that the class of locally testable affine-invariant properties is closed under sums, intersections and "lifts". The sum and intersection are two natural operations on linear spaces of functions, where the sum of two properties is simply their sum as a vector space. The "lift" is a less well-studied property, which creates some interesting affine-invariant properties over large domains,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2012
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2011.09.030